Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
31	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:31 Mathematical logic Type theory Logic Mathematics Homotopy type theory Univalent foundations First-order logic Natural deduction CurryHoward correspondence
32	Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Software engineering Logic Mathematical logic Logic programming Logic in computer science Automated theorem proving Predicate logic Prolog Horn clause Resolution Partial evaluation Mereology
33	Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method Duygu C ¸ akmak, Halit Erdo˘gan, and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, Istanbul, Turke Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 00:29:12 Mathematics Equations Algorithm Mathematical logic Theoretical computer science Equation solving Abstraction Philosophy of mathematics
34	Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-10-20 05:03:57 Logic Mathematical logic Non-classical logic Modal logic Proof theory Philosophical logic Model theory Admissible rule Sequent Normal modal logic Kripke semantics Intuitionistic logic
35	SOLVING SUDOKU by Michael Mepham What is sudoku? Add to Reading List Source URL: www.cluemaster.com Language: English - Date: 2009-09-22 21:02:34 Logic puzzles NP-complete problems Puzzles Mathematics Leisure Recreational mathematics Sudoku Logic Crossword Cryptic crossword Mathematical puzzle Mathematics of Sudoku
36	Rubric for Grading Student Solutions Katherine E. Stange In a proof, we seek: 1. First, a complete and correct logical proof of the assertion. 2. Second, a readable exposition. Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-10-18 16:53:01 Education Knowledge Academia Mathematical proofs Education reform Academic transfer Statements Grading systems by country Fallacy Rubric Mathematical logic Theorem
37	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.auburn.edu Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Abstraction Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
38	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2016-04-13 07:07:15 Engineering Academia Science and technology Algorithm Mathematical logic Theoretical computer science Computer science Programming language Artificial neural network Analysis Outline of computer science Shaikh College of Engineering and Technology
39	Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2012-11-30 05:38:20 Mathematics Logic Proof theory Mathematical logic Deductive reasoning Natural deduction Symbol Differential topology Generalised Whitehead product CurryHoward correspondence